Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-specific requirements specification formalisms into the framework by means of logic plug-ins, which essentially comprise monitor synthesis algorithms for properties expressed as formulae. The properties are specified together with declarations stating where and how to automatically integrate the corresponding monitor into the system, as well as what to do if the property is violated or validated. In this paper we present JAVA-MOP, an MOP environment for developping robust JAVA applications. Based upon a carefully designed property specification schema and upon several logic plug-ins, JAVA-MOP allows users to specify and monitor safety properties, which can refer not only to the current program state, but also to the entire execution trace of a program, including past and future behaviors.